Carroll Morgan (auth.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

წელი:

1993

ენა:

english

ფაილი:

PDF, 13.42 MB

0 / 0

english, 1993

2

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.77 MB

0 / 0

english, 2011

3

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 6.36 MB

0 / 0

english, 2013

4

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.22 MB

0 / 0

english, 2013

5

On the Refinement Calculus

On the Refinement Calculus

Springer-Verlag London

Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)

წელი:

1994

ენა:

english

ფაილი:

PDF, 5.10 MB

0 / 0

english, 1994

6

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.34 MB

0 / 0

english, 2009

7

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.31 MB

0 / 0

english, 2011

8

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.49 MB

0 / 0

english, 2011

9

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.40 MB

0 / 0

english, 2009